Electronic Books

Total Books: 1 - 2 /2
Logic Programming : 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings

The 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop ...

Lire la suite
Paul Lorenzen -- Mathematician and Logician

This book examines the many contributions of Paul Lorenzen, an outstanding philosopher from the latter half of the 20th ...

Lire la suite
Total Books: 1 - 2 /2